29.58/29.68	unsat
