30.83/30.98	unsat
