5.68/9.11	unsat
