23.96/28.55	unsat
