24.31/35.28	unsat
