29.69/29.80	unsat
