24.86/28.35	unsat
