30.38/30.41	unsat
