29.74/29.84	unsat
