29.80/30.98	unsat
