6.39/8.60	unsat
