31.38/31.52	unsat
