6.39/7.60	unsat
