29.55/30.98	unsat
