29.74/29.81	unsat
