27.56/30.36	unsat
