6.66/8.71	unsat
