24.36/28.81	unsat
