7.67/7.71	unsat
