6.66/6.71	unsat
