6.17/7.70	unsat
