24.45/27.55	unsat
