27.56/27.67	unsat
