24.90/29.28	unsat
