23.98/27.55	unsat
