27.56/27.63	unsat
