6.58/7.15	unsat
