7.38/7.47	unsat
