29.51/31.74	unsat
