24.45/28.72	unsat
