28.51/29.71	unsat
