27.63/30.84	unsat
