6.38/8.19	unsat
