24.69/29.25	unsat
