6.74/7.19	unsat
