6.93/8.11	unsat
