5.68/8.69	unsat
