30.38/30.43	unsat
