30.38/31.17	unsat
