6.58/7.56	unsat
