29.15/29.25	unsat
