7.38/7.42	unsat
