6.66/7.71	unsat
