6.94/10.11	unsat
