1.18/6.82	unsat
