27.59/27.64	unsat
