7.38/12.19	unsat
