6.68/8.72	unsat
