5.68/7.11	unsat
