6.18/9.72	unsat
