28.24/29.25	unsat
