6.49/7.71	unsat
