6.97/8.19	unsat
