30.55/32.98	unsat
