7.58/7.60	unsat
