29.36/29.74	unsat
