7.68/11.11	unsat
