27.34/30.35	unsat
