29.80/29.96	unsat
