31.38/31.98	unsat
