24.80/28.48	unsat
