29.59/29.77	unsat
