25.47/27.67	unsat
