27.53/27.67	unsat
