29.59/29.74	unsat
