24.28/28.72	unsat
