29.63/29.80	unsat
