28.63/29.29	unsat
