7.38/7.94	unsat
