5.58/7.70	unsat
