29.64/29.77	unsat
