10.68/10.77	unsat
