30.38/30.47	unsat
