6.19/6.82	unsat
