6.66/8.11	unsat
