8.68/11.77	unsat
