28.51/29.45	unsat
